除非具备完善的司法体制，否则就不会有真正的安全保障。由此可见（）。

• A、现在不具备完善的司法体制
• B、现在没有真正的安全保障
• C、只要具备完善的司法体制，就可以建立真正的安全保障
• D、只有具备完善的司法体制，才可以建立真正的安全保障

若SAP与SEP恰有一假，则必然是（）。

• A、SIP与SOP恰有一真
• B、SAP与SIP恰有一假
• C、SEP与SOP恰有一真
• D、SEP与SOP恰有一假

用真值表来验证（（p→q）∧﹁q）├﹁p是否为有效式。